Skip to content

Maintainer fixes/pr 219#220

Merged
rpietzsch merged 4 commits intomainfrom
maintainer-fixes/pr-219
Mar 11, 2026
Merged

Maintainer fixes/pr 219#220
rpietzsch merged 4 commits intomainfrom
maintainer-fixes/pr-219

Conversation

@rpietzsch
Copy link
Contributor

#219 with maintainer fixes / changes

@rpietzsch rpietzsch merged commit c037c56 into main Mar 11, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants